The latest version of the documentation can be accessed at: http://fsl.cs.uiuc.edu/index.php/K_Prototype . For convenience, a pdf version of that page is provided with this distribution: see file K Prototype - FSL.pdf.